Shortest single axioms for commutative moufang loops of exponent 3
نویسندگان
چکیده
منابع مشابه
A shortest single axiom with neutral element for commutative Moufang loops of exponent 3
In this brief note, we exhibit a shortest single product and neutral element axiom for commutative Moufang loops of exponent 3 that was found with the aid of the automated theorem-prover Prover9.
متن کاملThe Shortest Single Axioms for Groups of Exponent 4
We study equations of the form (= x) which are single axioms for groups of exponent 4, where is a term in product only. Every such must have at least 9 variable occurrences, and there are exactly three such of this size, up to variable renaming and mirroring. These terms were found by an exhaustive search through all terms of this form. Automated techniques were used in two ways: to eliminate m...
متن کاملThe commutative Moufang loops with maximum conditions for subloops
It is proved that the maximum condition for subloops in a commutative Moufang loop Q is equivalent with the conditions of finite generating of different subloops of the loop Q and different subgroups of the multiplication group of the loop Q. An analogue equivalence is set for the commutative Moufang ZA-loops. Classification: 20N05
متن کاملThe commutative Moufang loops with minimum conditions for subloops I
The structure of the commutative Moufang loops (CML) with minimum condition for subloops is examined. In particular it is proved that such a CML Q is a finite extension of a direct product of a finite number of the quasicyclic groups, lying in the centre of the CML Q. It is shown that the minimum conditions for subloops and for normal subloops are equivalent in a CML. Moreover, such CML also ch...
متن کاملOn Frattini subloops and normalizers of commutative Moufang loops
Let L be a commutative Moufang loop (CML) with multiplication group M, and let F(L), F(M) be the Frattini subgroup and Frattini subgroup of L and M respectively. It is proved that F(L) = L if and only if F(M) = M and is described the structure of this CLM. Constructively it is defined the notion of normalizer for subloops in CML. Using this it is proved that if F(L) 6= L then L satisfies the no...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Mathematics
سال: 2008
ISSN: 0012-365X
DOI: 10.1016/j.disc.2007.06.016